문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 준동형 사상 (문단 편집) == 준동형 사상의 종류 == 단사나 전사 등의 특수한 조건을 만족하는 준동형 사상은 아래와 같은 이름으로 불린다. * 단사(Injective)인 준동형 사상은 단사 사상(Monomorphism)이라고 부른다. * 전사(Surjective)인 준동형 사상은 전사 사상(Epimorphism)이라고 부른다. * 단사 사상이자 전사 사상인 준동형 사상을 동형 사상(Isomorphism)이라고 부른다. * 정의역과 공역이 같은 준동형 사상은 자기 사상(Endomorphism)이라고 부른다. * 자기 사상이면서 동형 사상인 준동형 사상을 자기 동형 사상(Automorphism)이라고 부른다. * 벡터 공간 사이에 정의된 준동형 사상은 [[선형 변환|선형 변환(Linear Transformation), 선형 사상(Linear Map)]] 등으로 불린다. 단 위에서 말했다시피 학부 수준의 통상적 대수구조가 아니면 위의 내용이 100% 맞지는 않고, mono, epi 등의 정의는 더욱 일반적으로 변경된다. 동형 사상이 존재하는 두 대수적 구조를 동형(Isomorphic)이라고 부르는데, 그 이유는 실제로 두 집합이 '''대수적 구조로서 완벽하게 동일'''하기 때문이다. 즉, 어떤 대수적 구조에서 그 구조의 연산과 논리 연산자만을 포함한 참인 명제[* 사실 자유 변수도 없어야 한다. 즉, 그 명제가 문장(sentence)이어야 한다.]는 동형인 대수적 구조에서 동일하게 참이다. 다만, 당연하게도 두 환의 덧셈 구조가 군으로서 동형이더라도 명제에 곱셈이 포함된다면 그 명제가 동치일지는 알 수 없다. 동형이 보장된 부분까지만 동일한 것이다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기